IEEE Transactions on Software Engineering

Results: 130



#Item
1Theoretical computer science / Information retrieval / Information science / Model checkers / Hashing / Model checking / Ith / SPIN model checker / Bitstate hashing / Cryptographic hash function / Correctness / Applied mathematics

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:27:55
2

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2008-08-28 05:24:01
    3

    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. X, NO. X, MONTHA Multi-Site Joint Replication of a Design Patterns Experiment using Moderator Variables

    Add to Reading List

    Source URL: www.inf.fu-berlin.de

    Language: English - Date: 2017-02-28 09:38:32
      4

      Call for Papers IEEE Transactions on Software Engineering Special Issue on Mining Software Repositories IEEE Transactions on Software Engineering is seeking original manuscripts for a Special Issue on Mining Software Rep

      Add to Reading List

      Source URL: 2004.msrconf.org

      Language: English - Date: 2005-08-17 16:08:29
        5

        IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 An Efficient Algorithm for Aggregating PEPA Models

        Add to Reading List

        Source URL: www.dcs.ed.ac.uk

        Language: English - Date: 2001-04-20 07:05:29
          6

          IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 22, NO. 6, JUNECompleteness and Consistency in Hierarchical State-Based Requirements

          Add to Reading List

          Source URL: sunnyday.mit.edu

          Language: English - Date: 2015-12-11 12:32:33
            7

            782 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 29,

            Add to Reading List

            Source URL: www.inf.usi.ch

            Language: English - Date: 2006-12-10 13:09:10
              8

              IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 42, NO. 3, MARCH 2016

              Add to Reading List

              Source URL: parasol.tamu.edu

              Language: English - Date: 2016-08-02 09:58:49
                9

                IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 31, NO. 4,

                Add to Reading List

                Source URL: www.cs.williams.edu

                Language: English - Date: 2018-08-12 09:37:48
                  10

                  IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, TBD 1 The Risks of Coverage-Directed Test Case Generation

                  Add to Reading List

                  Source URL: www.greggay.com

                  Language: English - Date: 2015-05-13 09:38:25
                    UPDATE